<?php

if (!isset($banner_img)) $banner_img = '/img/banner_anuncio.png';
?>
<div id="banner_top" >
	<br /> 
		<img src="<?php echo $banner_img; ?>" />
	<br />    
</div>	